Deterministic automaton - PDFSEARCH.IO - Document Search Engine

Deterministic automaton
Results: 176

#	Item
111	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
112	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , Orna Kupferman1 1 Hebrew University of Jerusalem Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-09-05 08:28:57 Deterministic automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
113	Hyper-Minimization 2 in O(n ) Andrew Badr [removed] CIAA 2008 Add to Reading List Source URL: www.andrewbadr.com Language: English - Date: 2008-07-21 15:34:44 Equivalence class Presentation of a group Computer science Applied mathematics Deterministic finite automaton DFA minimization Automata theory Mathematics Regular language
114	Overview Lecture T2: Turing Machines Attempt to understand essential nature of computation by studying properties of simple machine models. Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2001-02-02 11:59:52 Automata theory Turing machine Computer science Deterministic pushdown automaton Finite-state machine Linear bounded automaton National Parliamentary Debate Association NP Pushdown automaton Theory of computation Models of computation Theoretical computer science
115	Hyper-Minimization in O(n2 ) Andrew Badr [removed] Flowgram Research Division 650 Townsend #315 San Francisco, CA 94103 Add to Reading List Source URL: www.andrewbadr.com Language: English - Date: 2008-07-27 22:06:23 DFA minimization Regular language Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Theoretical computer science Computer science
116	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
117	Exact DFA Identification Using SAT Solvers Marijn J.H. Heule1, and Sicco Verwer2 1 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:36:36 Automata theory NP-complete problems Graph coloring Graph theory Boolean satisfiability problem Deterministic finite automaton Clique DFA Records Powerset construction Theoretical computer science Mathematics Applied mathematics
118	COMPUTER SCIENCE TRIPOS Part IA – 2014 – Paper 2 10 Discrete Mathematics (AMP) (a) For each symbol x in the alphabet Σ = {a, b, c}, let Ox be the language over Σ consisting of all strings that contain an odd number Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:43 Models of computation Combinatorics Computer science Combinatorics on words Deterministic finite automaton Nondeterministic finite automaton Regular language String Regular expression Automata theory Formal languages Theoretical computer science
119	The Theory of Trackability with Applications to Sensor Networks VALENTINO CRESPI California State University at Los Angeles GEORGE CYBENKO Dartmouth College Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2011-02-03 16:20:33 Matrix Wireless sensor network Büchi automaton Finite-state machine Computing Technology Mathematics Automata theory Models of computation Deterministic finite automaton
120	Realizability is controllability Niels Lohmann and Karsten Wolf Universit¨ at Rostock, Institut f¨ ur Informatik,  Rostock, Germany {niels.lohmann, karsten.wolf}@uni-rostock.de Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2009-02-24 07:57:14 Deterministic finite automaton Finite-state machine Automata theory Models of computation Realizability

UPDATE